#include<stdio.h>
int main()
{
	printf("2.10");
 } 
